$\forall$$A$:Type, $F$:($A$$\rightarrow$Prop), $L$:$A$ List. ($\forall$$k$:$A$. Dec($F$($k$))) $\Rightarrow$ Dec($\forall$$k$$\in$$L$. $F$($k$))